|
Pierre Genevès is a French computer scientist born in 1980. He is research scientist at CNRS and recipient of the 2013 CNRS Bronze medal. == Biography == Born in Cahors in 1980, Pierre Genevès founded in 2001 a software company developing a graphic software, later marketed under the name of AceDesign Pro by the Canadian software company Visicom Media.〔Visicom Media〕 He worked at IBM Research in New York in 2003 and 2004 where he studied the design of scalable architectures for querying and transforming flows of structured data.〔http://www.google.com/patents/US20050257201〕 He graduated from the university of Grenoble from which he received a PhD in computer science in 2006. His thesis, concerning computational logic for reasoning on tree-shaped data, was awarded the EADS prize for the best PhD thesis in 2007,〔(EADS Prize )〕 and the prize for the best PhD thesis from the INPG university in 2008.〔(Prize for the best PhD thesis, INPG )〕 After a post-doctorate at the Swiss Federal Institute of Technology in 2007, he joined CNRS where he studied and contributed to the field of modal logics, like the modal mu-calculus, that he used for modeling query languages, and allow for the automated reasoning about programs that manipulate structured data. Pioneer of the static analysis of cascading style sheets for web pages,〔(On the analysis of cascading style sheets, World Wide Web Conference, 2012 )〕 his results in logic also apply to the fields of programming languages, software engineering and artificial intelligence. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Pierre Geneves」の詳細全文を読む スポンサード リンク
|